package services;

import entities.*;  
import java.util.List;
import java.time.LocalDate;


public interface CreatePlanService {

	/* all system operations of the use case*/
	boolean createPlan(String groupId, String id, String studentId, String content, boolean finish) throws PreconditionException, PostconditionException, ThirdPartyServiceException;
	boolean editPlan(String id, String content) throws PreconditionException, PostconditionException, ThirdPartyServiceException;
	boolean finishPlan(String id, boolean finish) throws PreconditionException, PostconditionException, ThirdPartyServiceException;
	
	/* all get and set functions for temp property*/
	
	/* all get and set functions for temp property*/
	
	/* invariant checking function */
}
